Nuprl Definition : link 11,40

link(e) == ecase1(e;info;i.;l,e'.l
latex



clarification:

link(info;e) == ecase1(e;info;i.;l,e'.l
latex


Definitions, ecase1(e;info;i.f(i);l,e'.g(l;e'))
FDL editor aliaseslink

origin